翻訳と辞書
Words near each other
・ Analytic hierarchy process – leader example
・ Analytic induction
・ Analytic journalism
・ Analytic language
・ Analytic manifold
・ Analytic narrative
・ Analytic network process
・ Analytic number theory
・ Analytic philosophy
・ Analytic polyhedron
・ Analytic proof
・ Analytic reasoning
・ Analytic semigroup
・ Analytic set
・ Analytic signal
Analytic space
・ Analytic subgroup theorem
・ Analytic torsion
・ Analytica
・ Analytica (company)
・ Analytica (software)
・ Analytica (trade fair)
・ Analytica Chimica Acta
・ Analytical Abstracts
・ Analytical and Bioanalytical Chemistry
・ Analytical balance
・ Analytical base table
・ Analytical Biochemistry
・ Analytical Center for the Government of the Russian Federation
・ Analytical chemistry


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Analytic space : ウィキペディア英語版
Analytic space

An analytic space is a generalization of an analytic manifold that allows singularities. An analytic space is a space that is locally the same as an analytic variety. They are prominent in the study of several complex variables, but they also appear in other contexts.
== Definition ==
Fix a field ''k'' with a valuation. Assume that the field is complete and not discrete with respect to this valuation. For example, this includes R and C with respect to their usual absolute values, as well as fields of Puiseux series with respect to their natural valuations.
Let ''U'' be an open subset of ''k''''n'', and let ''f''1, ..., ''f''''k'' be a collection of analytic functions on ''U''. Denote by ''Z'' the common vanishing locus of ''f''1, ..., ''f''''k'', that is, let ''Z'' = . ''Z'' is an analytic variety.
Suppose that the structure sheaf of ''U'' is \mathcal_U. Then ''Z'' has a structure sheaf \mathcal_Z = \mathcal_U / \mathcal_Z, where \mathcal_Z is the ideal generated by ''f''1, ..., ''f''''k''. In other words, the structure sheaf of ''Z'' consists of all functions on ''U'' modulo the possible ways they can differ outside of ''Z''.
An analytic space is a locally ringed space (X, \mathcal_X) such that around every point ''x'' of ''X'', there exists an open neighborhood ''U'' such that (U, \mathcal_U) is isomorphic (as locally ringed spaces) to an analytic variety with its structure sheaf. Such an isomorphism is called a local model for ''X'' at ''x''.
An analytic mapping or morphism of analytic spaces is a morphism of locally ringed spaces.
This definition is similar to the definition of a scheme. The only difference is that for a scheme, the local models are spectra of rings, whereas for an analytic space, the local models are analytic varieties. Because of this, the basic theories of analytic spaces and of schemes are very similar. Furthermore, analytic varieties have much simpler behavior than arbitrary commutative rings (for example, analytic varieties are defined over fields and are always finite-dimensional), so analytic spaces behave very similarly to finite-type schemes over a field.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Analytic space」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.